Module("check",[Imports([(),(),()]),Rules([SDefT("analyze",[],[],[]),SDefT("record-entity",[],[],[RDecT("GetEntity",[],[])])]),Rules([SDefT("constraint-error",[],[],[]),SDefT("constraint-error",[],[],[]),SDefT("constraint-warning",[],[],[]),SDefT("constraint-note",[],[],[])])])